recursively axiomatizable
遞歸可公理化
熱門查詢
- cultivator n. 耕者；栽培者；耕田機
- pharmacognosy n. 生藥學
- Wemyss 威姆斯(姓氏)
- groomsman n. 男儐相
- clutch n. 離合器；控制；手；緊急關頭 vt. 抓住；緊握 adj. 沒有手提帶或背帶的；緊要關頭的 vi. 攫；企圖抓住
- copywriter n. 廣告文字撰稿人
- melding vt. 融合；使結合（meld的現在分詞）；使合并 vi. 結合（meld的現在分詞）；合并
- subculture n. 亞文化群 vt. 作再次培養
- Marti [醫][=mobile advanced real-time image]便攜式高級實時顯像
- archipelago n. 群島，列島；多島的海區
- decode vt. 譯(密碼文電等)，譯(碼)，解(碼)等：；(尤指在學習過程中)把拼寫和讀音關系用于(閱讀) vi. 從事破譯(或解譯)工作
- hayes n. 海耶斯（男子名）
- clasp n. 扣子，鉤子；握手 vt. 緊抱；扣緊；緊緊纏繞 vi. 扣住
- partying v. 聚會（party進行式）
- racketeer n. 騙子；敲詐者 vt. 對…進行勒索 vi. 敲詐
- artisan n. 工匠，技工
- waste n. 浪費；廢物；荒地；損耗；地面風化物 adj. 廢棄的；多余的；荒蕪的 vt. 浪費；消耗；使荒蕪 vi. 浪費；變消瘦；揮霍錢財
- verbalized v. 描述；使變成動詞；語言化（verbalize的過去分詞）
- bulk n. 體積，容量；大多數，大部分；大塊 vt. 使擴大，使形成大量；使顯得重要 n. (Bulk)人名；(土)布爾克
- swivel n. 轉環；轉椅座架 vt. 使旋轉 vi. 旋轉
